Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
221	Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical & Electronic Engineering, The University of Adelaide, & 2 Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:18 Models of computation Concurrency Diagrams Petri net Computer science Heuristic function A* search algorithm Model checking Unfolding Mathematics Heuristics Theoretical computer science
222	NII Lectures: A Model Of Parallelism To Guide Thinking Lawrence Snyder www.cs.washington.edu/homes/snyder 1 October 2008 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:57 Models of computation Programming paradigms Algorithm Mathematical logic Theoretical computer science Programming language Abstract machine C Abstraction Computing Software engineering Computer programming
223	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-09 03:06:25 Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science
224	Model-Based Deployment in Automotive Embedded Software: From a High-Level View to Low-Level Implementations Andreas Bauer, Jan Romberg Institut f¨ur Informatik, Technische Universit¨at M¨unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:25 SIGNAL Parallel computing Distributed computing Dataflow Transmission Control Protocol Computer cluster Futures and promises Central processing unit Computing Models of computation Solid-state drive
225	Part III Michaelmas 2011 QUANTUM COMPUTATION Lecture notes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-06-11 09:48:33 Computational complexity theory Quantum complexity theory Quantum information science Decision tree model Quantum algorithm Deutsch–Jozsa algorithm PP BQP Quantum computer Theoretical computer science Applied mathematics Models of computation
226	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
227	Part III Michaelmas 2011 QUANTUM COMPUTATION Lecture notes Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2012-02-17 03:45:53 Computational complexity theory Quantum complexity theory Quantum information science Decision tree model Quantum algorithm Deutsch–Jozsa algorithm PP BQP Quantum computer Theoretical computer science Applied mathematics Models of computation
228	Geosci. Model Dev., 7, 2599–2611, 2014 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. On the computation of planetary boundary-layer height using Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:59:04 R-value Engineering Planetary boundary layer Heat transfer Insulators
229	Unbounded Error Quantum Query Complexity Ashley Montanaro1 , Harumichi Nishimura2 and Rudy Raymond3 December 10, Department of Computer Science, University of Bristol, UK Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2007-12-10 06:35:35 Analysis of algorithms Models of computation Quantum information science Quantum algorithm Decision tree model PP Quantum computer Time complexity Randomized algorithm Theoretical computer science Applied mathematics Computational complexity theory
230	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data